Non-classical logic - PDFSEARCH.IO - Document Search Engine

Non-classical logic
Results: 703

#	Item
51	ANU Logic Summer School January-February 2009 Non-Classical Logic Lecture 1: Natural Deduction Ed Mares 2 February Add to Reading List Source URL: ssll.cecs.anu.edu.au Language: English - Date: 2009-01-20 21:41:34
52	Problem statement Undecidability Decidability Add to Reading List Source URL: a3nm.net Language: English - Date: 2015-10-23 06:57:09 Logic Computing Proof theory Philosophy Decidability Metalogic Artificial intelligence Non-classical logic Conjunctive query Description logic Web Ontology Language
53	Motivation Non-classical logics – such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, fuzzy logic, paraconsistent logic, relevance logic – Add to Reading List Source URL: iltp.de Language: English - Date: 2016-04-26 07:46:57
54	Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control ? R¨ udiger Ehlers ∗ St´ ephane Lafortune ∗∗ Stavros Tripakis ∗∗∗ Add to Reading List Source URL: excape.cis.upenn.edu Language: English - Date: 2014-08-13 21:30:28 Logic Temporal logic Philosophical logic Mathematical logic Abstraction Linear temporal logic Logic in computer science Supervisory control theory Non-classical logic CTL* Modal logic Quantifier
55	Modal Logics of Some Subspaces of Rational Numbers: Diamond as Derivative Joel Lucero-Bryan New Mexico State University Short Background Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-05 22:55:40 Mathematics Logic Abstraction General topology Non-classical logic Philosophical logic Modal logic Modality Metrization theorem Closure operator Derivative algebra
56	Fitting’s Embedding of Classical Logic in S4 and Trace Properties in the Computational Model (Extended Abstract) Gergei Bana INRIA Paris, France Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-07-17 09:25:53 Logic Mathematical logic Non-classical logic Philosophical logic Predicate logic Model theory First-order logic Barcan formula Modal logic KeY
57	Globalization makes inconsistency unrecognizable John Woods Add to Reading List Source URL: www.johnwoods.ca Language: English - Date: 2015-12-30 14:58:38 Logic Philosophy Abstraction Philosophical logic Non-classical logic Mathematical logic Theories of truth Proof theory Negation Paraconsistent logic False Contradiction
58	ANU Logic Summer School January-February 2009 Non-Classical Logic Lecture 1: Natural Deduction Ed Mares 2 February Add to Reading List Source URL: ssll.rsise.anu.edu.au Language: English - Date: 2009-01-20 21:41:34
59	Fall 2014 Undergraduate Philosophy Department Courses PHIL-UA 1; Central Problems in Philosophy; M/W 9:30-10:45; James Pryor http://intro.jimpryor.net This course is an introduction to the methods of contemporary philoso Add to Reading List Source URL: www.nyu.edu Language: English - Date: 2014-08-30 22:55:28 Logic Philosophy Mathematical logic Philosophical logic Non-classical logic Branches of philosophy Model theory Modal logic Saul Kripke First-order logic Propositional calculus Epistemic modal logic
60	Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics Matthias Baaz∗ Technische Universität Wien A–1040 Vienna, Austria Add to Reading List Source URL: www.preining.info Language: English - Date: 2005-04-12 18:14:28 Logic Mathematical logic Abstraction Non-classical logic Model theory Predicate logic First-order logic Intermediate logic Many-valued logic FO Kripke semantics Fuzzy logic